module Module

type T(i: a * ) = class end
